退出
我的积分:
中文文献批量获取
外文文献批量获取
程和祥; 刘强;
[1]西南政法大学行政法学院&监察法学院;
重庆401120;
经典命题逻辑; 公理系统L; 消件法; 换位法; 演绎定理; 构造性程序;
机译:关于Łukasiewicz的有限多值命题逻辑的公理系统的Rosser-Turquette方法
机译:经典命题逻辑和直觉命题逻辑中变量的可判定性
机译:PPTL公理系统中由期限驱动的调度程序的正式证明
机译:基于搜索的现行过程,以获得经典命题逻辑中的Hilbert证明
机译:双重证明者模型中的比特承诺方案的经典和量子策略。
机译:Anamnesegruppen判断患者关系和沟通技巧的同伴教学中的学习 - 概念证明和经验教训
机译:经典命题逻辑中的命名证明
机译:丙二醛分子模型中隧道劈裂模式特异性的半经典证明
机译:从命题逻辑证明满意公式的密码学方法
机译:通过命题逻辑证明可满足公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。